Publisher version (open access) of Generalized S-Procedure and Finite Frequency KYP Lemma